protocol BuyerSeller (role Buyer) { Buyer introduces Seller; Order from Buyer to Seller; choice at Seller { Invoice from Seller to Buyer; } or { Rejected from Seller to Buyer; } }
This example shows how a Buyer role and
Seller role may interact in an ordering
process.
protocol BuyerSeller (role Buyer) { Buyer introduces Seller; Order from Buyer to Seller; choice at Seller { Invoice from Seller to Buyer; } or { Rejected from Seller to Buyer; } }